Skip to content

fix(gitpod): workaround the rustup concurrent issue#162

Merged
pan93412 merged 2 commits intomainfrom
fix-gitpod-issue
Jun 7, 2022
Merged

fix(gitpod): workaround the rustup concurrent issue#162
pan93412 merged 2 commits intomainfrom
fix-gitpod-issue

Conversation

@pan93412
Copy link
Member

@pan93412 pan93412 commented Jun 7, 2022

@pan93412 pan93412 self-assigned this Jun 7, 2022
@pan93412 pan93412 merged commit f947b3a into main Jun 7, 2022
@pan93412 pan93412 deleted the fix-gitpod-issue branch June 7, 2022 18:11
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant